(C) Check that addresses to stack memory do not escape the function.